Skip to content

Conversation

@Gabriella439
Copy link
Collaborator

… as standardized in dhall-lang/dhall-lang#1226

@mergify mergify bot merged commit 9f0dd67 into master Sep 27, 2021
@mergify mergify bot deleted the gabriel/trailing_line_comment branch September 27, 2021 23:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants